((lambda (x y)(binary-add x y)) 1 2)
((lambda () 1))
(((lambda ()
	(lambda (x y)
		(binary-add x y)
	)
 )) 3 4 )

((lambda (f)
  (
   (lambda (x)
     (f
      (lambda args (apply (x x) args))
     )
   )
   (lambda (x)
     (f
      (lambda args (apply (x x) args))
     )
   )
  )
) 1)

((((lambda ()
     (lambda (x y)
       (lambda (c d)
         (binary-add x d)))))
		3 4)
	1 2)
